From a87a6ff4076a0752d933f431e4ef475c8e009520 Mon Sep 17 00:00:00 2001
From: Daniele Tricoli <eriol@mornie.org>
Date: Tue, 19 Jul 2016 03:06:47 +0200
Subject: [PATCH] Refresh local-jquery

---
 debian/patches/local-jquery.patch | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/debian/patches/local-jquery.patch b/debian/patches/local-jquery.patch
index b3b1a645e..98990d655 100644
--- a/debian/patches/local-jquery.patch
+++ b/debian/patches/local-jquery.patch
@@ -1,11 +1,9 @@
 From: Luca Bruno <lucab@debian.org>
 Description: Remove remote jquery references
 Forwarded: no
---- a/src/doc/header.html
-+++ b/src/doc/header.html
-@@ -1,4 +1,4 @@
+--- a/src/doc/html-headers.html
++++ b/src/doc/html-headers.html
+@@ -1,2 +1,2 @@
 -<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
 +<script src="jquery.js"></script>
- 
- <a href='https://github.com/rust-lang/cargo' class='fork-me'>
-   <img src='images/forkme.png'/>
+ <link rel="icon" type="image/x-icon" href="favicon.ico">
-- 
2.30.2